Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
711	Informatics Everywhere: Information and Computation in Society, Science, and Technology Tom Verhoeff Dept. of Math. and CS, Eindhoven University of Technology Den Dolech 2, 5612 AZ Eindhoven, The Netherlands Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2013-06-24 05:42:44 Computability theory Lambda calculus Models of computation Formal methods Informatics Combinatory logic Computation Information theory Algorithm Applied mathematics Theoretical computer science Mathematics
712	Introduction Automated Reasoning Automated Reasoning and Formal Methods Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Science Reasoning Mathematical logic Theoretical computer science Formal methods Automated reasoning Mathematical proof Algorithm Reason Logic Mathematics Automated theorem proving
713	Read My Lips: No New Models!1 Karl E. Wiegers Process Impact www.processimpact.com Recently, I had dinner with James Bach, a thoughtful and well-known figure in the software quality industry. At one point, James began to Add to Reading List Source URL: www.processimpact.com Language: English - Date: 2010-06-21 13:40:12 Software engineering Software project management Formal methods Project management Capability Maturity Model Software quality Personal Software Process Software metric Software Engineering Institute Software development Software Software development process
714	Microsoft Word - simTD@RE2011_final Add to Reading List Source URL: www.simtd.de Language: English - Date: 2014-02-24 04:48:29 Validity Science Software engineering Systems science Formal methods Verification and validation Systems engineering process Validation Software development process Systems engineering Software development Pharmaceutical industry
715	Mart´ın H. Escard´ o. BSc, MSc, PhD Last updated November 14, 2014. See also http://www.cs.bham.ac.uk/ mhe/ I was born in Rio de Janeiro, Brazil. I am married and have three children, born in 1998, 2000 and 2010. Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-11-14 10:40:02 Logic in computer science Formal methods Computability theory Models of computation Dana Scott Semantics of programming languages IEEE Symposium on Logic in Computer Science Computer science Mathematical logic Theoretical computer science Mathematics Applied mathematics
716	Productive use of failure in formal methods Yuhui Lin CIAO/Automatheowww.inf.ed.ac.uk Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematical logic Mathematical proof Formal methods Theorem OPOS Logic Mathematics Knowledge
717	Software Process Improvement in Web Time1 Karl E. Wiegers Process Impact www.processimpact.com Much of the software process improvement literature describes how large corporations and government contractors have changed Add to Reading List Source URL: www.processimpact.com Language: English - Date: 2010-06-21 13:40:57 Project management Systems engineering Software project management Formal methods Software development process Systems engineering process Capability Maturity Model Software engineering Project manager Software development Management Business
718	Distributed Safety Controllers for Web Services Anders Sandholm and Michael I. Schwartzbach BRICS? , Department of Computer Science University of Aarhus, Ny Munkegade DK-8000 Aarhus C, Denmark Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-03-10 07:36:26 Formal methods Computer science Finite-state machine Petri net Automata theory Models of computation Theoretical computer science
719	Opening Thought Anonymous Functions From now on, functions can be anonymous Old code (define (eval-rands rands env fenv) Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Lambda calculus Subroutines Theoretical computer science Computability theory Formal methods Anonymous function Scheme Map Function Software engineering Computing Computer programming
720	Using an Expressive Description Logic: FaCT or Fiction? Ian R. Horrocks Medical Informatics Group Department of Computer Science University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:49:27 Non-classical logic Model theory Philosophical logic Formal methods Transitive closure Modal logic Description logic Boolean satisfiability problem Satisfiability Logic Mathematics Mathematical logic

UPDATE